Package control

Class Summary
Community This class permits to create the Cartesian product of all community states and all final states of a set of available services
CState This Class contains a set of state, one for each available service
Orchestrator This Class permits to generate the Orchestrator and obtain its result
OrchestratorKey Class to contain a couple of states which are in simulation with the action for that they are simulated
SimulatedBy Class which contains a couple of states: one target state and one community state
Simulation This Class contains algorithms useful for simulation